
mu((x, mu((y, z)))) == mu((mu((x, y)), z));
